php - DOMDocument->saveHTML() vs urlencode with commercial at symbol (@)